1. A dicipline of programming
پدیدآورنده : Dijkstra , Edsger Wybe
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Electronic digital computers - programming
رده :
QA
76
.
6
.
D54
1979
2. A discipline of Programming
پدیدآورنده : / Edsger W. Dijksrtra
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic digital computers - Programming
رده :
001
.
642
D575
3. A discipline of programming
پدیدآورنده : /Edsger W. Dijkstra.
موضوع : برنامه‌نویسی
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
4. A discipline of programming /
پدیدآورنده : Edsger W. Dijkstra
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming
رده :
QA76
.
6
.
D54
5. A discipline of programming
پدیدآورنده : Dijkstra, Edsger Wybe
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
6
.
D54
6. <A> method of Programming
پدیدآورنده : Edsger W. Dijkstra, W. H. J. Feijen
موضوع : Electronic digital computers- Programming
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
7. A method of programming
پدیدآورنده : Dijkstra, Edsger Wybe
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : ، Computer programming
رده :
QA
76
.
6
.
D5513
1989
8. A method of programming
پدیدآورنده : Dijkstra, Edsger Wybe
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
6
.
D5513
1988
9. A method of programming, Mehtode van programming. English
پدیدآورنده : Dijkstra, Edsger Wybe, Edssger W. Dijkstra, W.H.J. Feijen
موضوع : ، Electronic digital computers - programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. ACM Turing Award lectures :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)
رده :
QA76
.
24
.
A33
1987
11. Beauty is our business : a birthday salute to Edsger W. Dijkstra
پدیدآورنده : W.H.J. Feijen.--]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science,، Dijkstra, Edsgar Wybe
رده :
QA
76
.
B326
1990
12. Beginning Ada Programming
پدیدآورنده : Andrew T. Shvets.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ada (Computer program language),Ada (Computer program language)
رده :
QA76
.
73
.
A35
13. Beyond calculation :
پدیدآورنده : Peter J. Denning, Robert M. Metcalfe ; foreword by James Burke.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers.,Electronic data processing.,prospective informatique.,révolution informatique.,technologie informatique.
رده :
QA76
.
D348
1997
14. Formal Development of Programs and Proofs
پدیدآورنده : Edited By Edsger W. Dijkstra
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Electronic Dijital Computers- Programming- Congresses
رده :
QA
،
76
.
6
،.
F657
،
1990
15. Formal development of programs and proofs
پدیدآورنده :
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Electronic digital computers- Programming- Congresses
16. Methode van programmeren. English,A method of programming
پدیدآورنده : Edsger W. dijkstra, W. H. Feijen
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Electronic digital computers - Programming
رده :
QA
,
76
.
6
,.
D5513
,
1988
17. On the shape of mathematical arguments
پدیدآورنده : Gasteren, Antonetta J. M.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
G37
1990
18. On the shape of mathematical arguments
پدیدآورنده : / A.J.M. van Gasteren
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Proof theory.
رده :
QA
,
9
.
54
,.
G37
,
1990
19. Predicate calculus and program semantics
پدیدآورنده : Dijkstra, Edsger Wybe
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Predicate calculus,، Programming languages )Electronic computers( -- Semantics
رده :
QA
9
.
35
.
D55
1989
20. Selected writings on computing :
پدیدآورنده : Edsger W Dijkstra
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA76
.
24
E374
2011
